find the 3rd highest from a list using stream API